Feeds to Scour
SubscribedAll
Scoured 24865 posts in 27.3 ms
Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning 聽馃Rust Borrowing
arxiv.org路6d
Terrably: Build Terraform Providers in TypeScript 聽馃ПImmutable Infrastructure
paambaati.github.io路7h路Hacker News
The Browser Security Breakthrough That Made UAF Exploits Harder 聽馃敁Hacking
hackernoon.com路2d
Kubernetes Resource Management: CPU Request and Limit in Practice 聽馃寠Streaming Systems
roszigit.com路4h路Hacker News
Linux Kernel 6.12.86 and 6.18.27 released 聽馃攳eBPF
linuxcompatible.org路5d路Hacker News
ThatXliner/rust-but-lisp: Rust but LISP 聽馃Rust Macros
github.com路2d路Hacker News
Macros in Fir 聽馃Rust Macros
osa1.net路19h
Zig vs Rust in 2026 聽馃Rust Macros
zackoverflow.dev路1d路Lobsters, Hacker News, Hacker News, r/programming
krabby: making a fast Rust compiler 聽馃Rust Macros
bal-e.org路6d路Lobsters, Hacker News
Notes from Optimizing CPU-Bound Go Hot Paths 聽馃Rust Macros
blog.andr2i.com路5d路Hacker News, r/golang
Masks Can Talk: Extracting Structured Text Information from Single-Modal Images for Remote Sensing Change Detection 聽馃摳TIFF Archaeology
arxiv.org路1d
Capsules: Compile-time lock discipline in OxCaml 聽馃Rust Borrowing
kcsrk.info路4d路Hacker News
tsz: a performance-first TypeScript checker 聽馃Rust Verification
tsz.dev路5d路Hacker News, Hacker News
From Stringly to Strongly Typed 聽馃敩Refinement Types
eignex.com路5d路Hacker News
hpke-ng: Faster, Smaller, Harder HPKE for Rust 聽馃Rust Borrowing
symbolic.software路4d路Lobsters, r/rust
Syntax and Semantics of Linear Dependent Types 聽位Lambda Formalization
arxiv.org路5d
kyren/piccolo: An experimental stackless Lua VM implemented in pure Rust 聽馃Rust Macros
github.com路3d路Hacker News
A Categorical Semantics for Linear Logical Frameworks 聽馃搹Linear Logic
arxiv.org路5d
Towards Definitional Interpreters for Hoare Logics 聽鈿栵笍Hoare Logic
arxiv.org路6d
QoS Assurance Mechanism for 5G Network Slicing Based on the Deep Reinforcement Learning PPO Algorithm 聽馃摗Network Calculus
arxiv.org路6d

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help